Parameters for Epistemic Gossip Problems
نویسندگان
چکیده
We introduce a framework that can model different kinds of epistemic gossip problems. We also formalize some parameters that distinguish the different types of gossip problem. Finally, we present a few results that show the effect of the parameters.
منابع مشابه
On the Computational Complexity of Gossip Protocols
Gossip protocols deal with a group of communicating agents, each holding a private information, and aim at arriving at a situation in which all the agents know each other secrets. Distributed epistemic gossip protocols are particularly simple distributed programs that use formulas from an epistemic logic. Recently, the implementability of these distributed protocols was established (which means...
متن کاملKalpa Publications in Computing
Gossip protocols deal with a group of communicating agents, each holding some private information, and aim at arriving at a situation in which all the agents know each other secrets. Distributed epistemic gossip protocols are particularly simple distributed programs that use as guards formulas from an epistemic logic. We showed recently that the implementability of these distributed gossip prot...
متن کاملThe Logical Dynamics of Gossip: an analysis in Dynamic Epistemic Logic
This thesis gives a formal logical analysis of a social phenomenon; gossip. Gossip can be used to serve many goals. The Sherlock Holmes’ of our society -always looking for an explanationmight use gossip to find an explanation for a surprising observation. Also for the agents that are not so eager to find the truth, for those who are more concerned about their social position instead, gossip mig...
متن کاملOn Decidability of a Logic of Gossips
Gossip protocols aim at arriving, by means of point-to-point or group communications, at a situation in which all the agents know each other secrets, see, e.g., [11]. In [1], building upon [3], we studied distributed epistemic gossip protocols, which are examples of knowledge based programs introduced in [6]. These protocols use as guards formulas from a simple epistemic logic. We show here tha...
متن کاملEpistemic Protocols for Distributed Gossiping
Gossip protocols aim at arriving, by means of point-to-point or group communications, at a situation in which all the agents know each other’s secrets. We consider distributed gossip protocols which are expressed by means of epistemic logic. We provide an operational semantics of such protocols and set up an appropriate framework to argue about their correctness. Then we analyze specific protoc...
متن کامل